Все словари русского языка: Толковый словарь, Словарь синонимов, Словарь антонимов, Энциклопедический словарь, Академический словарь, Словарь существительных, Поговорки, Словарь русского арго, Орфографический словарь, Словарь ударений, Трудности произношения и ударения, Формы слов, Синонимы, Тезаурус русской деловой лексики, Морфемно-орфографический словарь, Этимология, Этимологический словарь, Грамматический словарь, Идеография, Пословицы и поговорки, Этимологический словарь русского языка.
Уважаемый пользователь, сайт развивается и существует только на доходы от рекламы - пожалуйста, отключите
блокировщик рекламы.
Недавно искали
логика высказываний
Энциклопедический словарь
Ло́гика выска́зываний - раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из так называемых элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции («и»), дизъюнкции («или»), отрицания («не»), импликации («если..., то...») и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.
* * *
ЛОГИКА ВЫСКАЗЫВАНИЙ - ЛО́ГИКА ВЫСКА́ЗЫВАНИЙ, раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции («и»), дизъюнкции («или»), отрицания («не»), импликации («если..., то...») и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.
Большой энциклопедический словарь
ЛОГИКА ВЫСКАЗЫВАНИЙ - раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.